автоматический верификатор

 

автоматический верификатор
Схема обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем.
[http://www.morepc.ru/dict/]

Тематики

• информационные технологии в целом

EN

• mechanical verifier